(define-sort a () (FloatingPoint))

(check-sat)
